Basic science

Results: 4014



#Item
391

BRICS Basic Research in Computer Science BRICS RSO. Danvy: A Rational Deconstruction of Landin’s SECD Machine A Rational Deconstruction of

Add to Reading List

Source URL: www.brics.dk

- Date: 2004-05-17 07:09:30
    392

    BRICS Basic Research in Computer Science BRICS RS-01-8 Frendrup & Jensen: Checking for Open Bisimilarity in the π-Calculus

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 2001-03-02 07:43:16
      393

      BRICS Basic Research in Computer Science BRICS RS-03-9 Damg˚ard & Frandsen: An Extended Quadratic Frobenius Primality Test

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 2003-03-04 17:18:23
        394

        BRICS Basic Research in Computer Science BRICS RSPagter & Rauhe: Optimal Time-Space Trade-Offs for Sorting Optimal Time-Space Trade-Offs for Sorting

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 1998-08-03 04:08:28
          395

          BRICS Basic Research in Computer Science BRICS LS-97-1 Chomicki & Toman: Temporal Logic in Information Systems Temporal Logic in Information Systems

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 1997-11-19 05:22:14
            396

            BRICS Basic Research in Computer Science BRICS RSJ. Srba: On the Power of Labels in Transition Systems On the Power of

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 2001-06-13 04:19:34
              397

              BRICS Basic Research in Computer Science BRICS RSNielsen et al.: On the Expressive Power of Concurrent Constraint Programming Languages On the Expressive Power of Concurrent

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 2002-05-08 05:19:58
                398

                P IS The International Summer Program is designed for current life science students who want to gain basic knowledge in clinical research methodology and operation. The course is structured in a theoretical part at the u

                Add to Reading List

                Source URL: f3.hs-hannover.de

                - Date: 2012-09-26 08:54:39
                  399

                  BRICS RS-06-2 Kjærgaard & Bunde-Pedersen: A Formal Model for Context-Awareness BRICS Basic Research in Computer Science

                  Add to Reading List

                  Source URL: www.brics.dk

                  - Date: 2006-03-13 05:39:41
                    400

                    BRICS Basic Research in Computer Science BRICS DS-00-6 J. G. Henriksen: Logics and Automata for Verification: Expressiveness and Decidability Issues

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2001-09-12 09:39:37
                      UPDATE